#ifndef __DEV_DRIVER_H__
#define __DEV_DRIVER_H__

#include <global/header/types.h>
#include <proc/proc.h>

int dev_register(proc_event_t io_event);
int dev_io_sched_recv(int dev_handle, uint32_t *func_code,
					  const void **input, size_t *input_size,
					  void **output, size_t *output_size,
					  proc_event_t event);

#endif
